@ECHO OFF
copy /y "..\rtl\ANY.class"               %1
copy /y "..\rtl\ARRAY.class"             %1
copy /y "..\rtl\BASICARRAY.class"        %1
copy /y "..\rtl\BOOLEAN.class"           %1
copy /y "..\rtl\CHARACTER.class"         %1
copy /y "..\rtl\CONVERT.class"           %1
copy /y "..\rtl\INTEGER.class"           %1
copy /y "..\rtl\REAL.class"              %1
copy /y "..\rtl\STD_INPUT_STREAM.class"  %1
copy /y "..\rtl\STD_OUTPUT_STREAM.class" %1
copy /y "..\rtl\STRING.class"            %1